1. A teaching companion to Lemmon's Beginning logic /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Predicate calculus.,Propositional calculus.,Predicate calculus.,Propositional calculus.

رده :
QA9
.
3
.
L45

2. Beginning logic

المؤلف:

المکتبة: المکتبه المرکزیه لاکادمیه اللغه الفارسیه و آدابها (طهران)

موضوع: ، Propositional calculus,، Predicate calculus

رده :
QA
9
.
3
.
L4
1965

3. Beginning logic

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: ، Propositional calculus,، Predicate calculus

رده :
QA
9
.
3
.
L45
1965

4. Beginning logic

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع: ، Propositional calculus,، Predicate calculus

رده :
QA
9
.
3
.
L45

5. Beginning logic /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Predicate calculus.,Propositional calculus.,Calcul des prédicats.,Calcul propositionnel.,08.33 logics and argumentation.,Logica.,Predicate calculus.,Propositional calculus.

رده :
QA9
.
3
.
L45

6. Beginning logic

پدیدآورنده :

موضوع : Propositional calculus,Predicate calculus

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

7. Beginning logic

المؤلف:

المکتبة: (طهران)

موضوع: Propositional calculus , Predicate calculus

رده :
QA
9
.
3
.
L45
1987

8. Buchi's monadic second order successor arithmetic

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Predicate calculus,، Sequential machine theory

رده :
QA
3
.
L28
no
.
120

9. Buchi's monadic second order successor arithmetic

پدیدآورنده :

موضوع : ، Predicate calculus,، Sequential machine theory

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

10. Buchi`s monadic second order successor arithmetic

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)

موضوع: Predicate calculus,Sequential machine theory

رده :
QA
3
.
L28
no
.
120

11. Completeness, compactness, and undecidability

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Logic, Symbolic and mathematical,Predicate calculus

رده :
QA9
.
M294

12. Completeness, compactness, and undecidability : an introduction to mathematical logic

پدیدآورنده :

موضوع : ، Logic, Symbolic and mathematical,، Predicate calculus

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

13. Dve interpretatsii logicheskikh sistem

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)

موضوع: Arabic imprin%,Philosophy,Predicate calculus

رده :
BC
51
.
T75

14. Introduction to mathematical logic and its applications

المؤلف:

المکتبة: (طهران)

موضوع: ، Logic, Symbolic and mathematical,، Predicate calculus

رده :
QA
9
.
35
.
R6

15. Logikē :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Debates and debating.,Logic, Symbolic and mathematical -- Problems, exercises, etc.,Predicate calculus -- Problems, exercises, etc.

16. Modern quantification theory :

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Predicate calculus. ;

17. Predicate calculus and program semantics

المؤلف:

المکتبة: (طهران)

موضوع: ، Predicate calculus,، Programming languages )Electronic computers( -- Semantics

رده :
QA
9
.
35
.
D55
1989

18. Propositional and predicate calculu

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Propositional calculus--Problems, exercises, etc,Predicate calculus--Problems, exercises, etc

رده :
QA
,
9
.
3
,.
G65
,
2005

19. #Propositional and predicate calculus

المؤلف:

المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)

موضوع: Propositional calculus ،Predicate calculus

رده :
#
QA
،#.
G65
،#
2005

20. Propositional and predicate calculus

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Propositional calculus ; Problems, exercises, etc. ; Predicate calculus ; Problems, exercises, etc. ;